Nuprl Definition : sign
11,40
postcript
pdf
sign(
x
) == if 0
z
x
then 1 else -1 fi
latex
Definitions
if
b
then
t
else
f
fi
,
i
z
j
,
-
n
,
#$n
FDL editor aliases
sign
origin